Obvious Logical Inferences
نویسنده
چکیده
A precise d e f i n i t i o n is g iven of a c lass of inferences in predicate log ic which it la proposed to I d e n t i f y w i t h the c lass of "obvious" In ferences. A mechanism fo r Implementing "obvious in ference" as a r u l e of Inference in proof checking systems is discussed.
منابع مشابه
Parallel Logical Inference and Energy Minimization
The inference capabilities of humans suggest that they might be using algorithms with high degrees of parallelism. This paper develops a completely parallel connectionist inference mechanism. The mechanism handles obvious inferences, where each clause is only used once, but may be extendable to harder cases. The main contribution of this paper is to show formally that some inference can be redu...
متن کاملIs It Rational to be Logical?
The topic of this panel is whether considerations of logicality or rationality should be paramount in modelling, or reasoning about, knowledge and belief. The first reaction one ought to have to such a question is to ask why there should be any conflict between these two types of consideration. Isn't one required to be logical in order to be rational? On closer examination, the issue is not as ...
متن کاملOn-line evidence for elaborative logical inferences in text.
A model of propositional-logic reasoning proposed by M. D. S. Braine, B. J. Reiser, and B. Rumain (1984) claims that inferences such as "p or q; not p/therefore q" are made spontaneously by readers at the moment both premises are available. This claim is inconsistent with some evidence in the text-processing literature that suggests that only those inferences necessary for textual coherence are...
متن کاملLogical Systems: Towards Protocols for Web-Based Meaning Negotiation
Our thesis is that before Web-based agents can negotiate meanings, they need to agree on high-level protocols based on logical systems. The Semantic Web community is setting the stage for semantic interoperability among Web-based software agents by developing standard languages with well-defined semantics. But exactly how these languages might be used to negotiate meanings is an open question. ...
متن کاملChildren’s Acceptance and Use of Unexpected Category Labels to Draw Non-Obvious Inferences
Language provides an efficient, uniquely human way of transmitting non-obvious category information between individuals and across generations. To explore whether it can serve this purpose even for very young children, we conducted two experiments: one with 24-month-olds, and the other with preschoolers. Children made non-obvious inferences about perceptually misleading animals. Those who heard...
متن کامل